Andrew W.Appel
POPLは数学かサイエンスか 第19回POPLプログラム委員長報告
1992年09月号